logical connective

См. также в других словарях:

• Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

• logical connective — loginė funkcija statusas T sritis automatika atitikmenys: angl. logical connective; logical function vok. Logikfunktion, f; logische Funktion, f; logische Verknüpfung, f rus. логическая связка, f; логическая функция, f pranc. fonction logique, f …   Automatikos terminų žodynas

• Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… …   Wikipedia

• Connective — may be referring to: Bains::connective Logical connective Connective tissue Discourse connective, in linguistics, a word or phrase like therefore or in other words . See also Connection (disambiguation) This disambiguation page lists articl …   Wikipedia

• Logical constant — In symbolic logic, a logical constant of a language L is a symbol that has the same semantic value in all models of (the expressions of) L . Two important types of logical constants are logical connectives and quantifiers. The equality predicate… …   Wikipedia

• Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B …   Wikipedia

• Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… …   Wikipedia

• logical function — loginė funkcija statusas T sritis automatika atitikmenys: angl. logical connective; logical function vok. Logikfunktion, f; logische Funktion, f; logische Verknüpfung, f rus. логическая связка, f; логическая функция, f pranc. fonction logique, f …   Automatikos terminų žodynas

• Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T …   Wikipedia

• connective — connectively, adv. connectivity /kon ek tiv i tee/, n. /keuh nek tiv/, adj. 1. serving or tending to connect: connective remarks between chapters. n. 2. something that connects. 3. Gram. a word used to connect words, phrases, clauses, and… …   Universalium

• connective — In formal logic a connective is an element of a sentence that joins parts in such a way that the logical properties of the whole are a defined function of the logical properties of the parts. The most familiar connectives are those expressing the …   Philosophy dictionary